301. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
302. Beyond first order model theory
پدیدآورنده : \ edited by Jose Iovino.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
303. Beyond first order model theory
پدیدآورنده : edited by Jose Iovino
کتابخانه: (طهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
B49
304. Bibliography of mathematical logic
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic,Symbolic and mathematical-Bibliography
رده :
016
.
5113
R
305. Bridge to abstract mathematics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Mathematics ;
306. Bridge to abstract mathematics /
پدیدآورنده : Ralph W. Oberste-Vorth, Aristides Mouzakitis, Bonita A. Lawrence
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Axioms,Logic, Symbolic and mathematical, Textbooks,Mathematics, Textbooks,Number theory,Set theory
307. Bridge to abstract mathematics : mathematical proof and structures
پدیدآورنده : by Ronald P. Morash,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA
.
M74
9
1987
308. 17 :-CADE--Automated deduction
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
309. 21- CADE--Automated deduction
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
310. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
پدیدآورنده : P. Martin-Lof, G Mints, eds
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
417
311. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
I57
1988
312. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
385
313. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1988
314. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
440
315. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
W67
1989
316. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
317. Cabal Seminar 77-79: proceedings, Caltech-UCLA Logic Seminar 1977-79
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
839
318. Cabal Seminar : proceedings, Caltech-UCLA Logic Seminar
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
689
,
839
,
1019
319. Cabal Seminar 76-77: proceedings, Caltech-UCLA Logic Seminar 1976-77
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
689
320. Cabal Seminar 79-81: proceedings, Caltech-UCLA Logic Seminar 1979-81
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1019
